[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

323 323 244 368 0 39 0 0 -1

N.S.

1 1.00 0.76 1.14 0.00 0.12 0.00 0.00 -0.00

time (sec)

N/A 0.195 10.343 0.116 0.000 0.556 0.000 0.000 0.000

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 192 264 0 38 0 0 -1

N.S.

1 1.00 1.10 1.51 0.00 0.22 0.00 0.00 -0.01

time (sec)

N/A 0.041 10.270 0.113 0.000 0.346 0.000 0.000 0.000

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 169 248 0 25 0 0 -1

N.S.

1 1.00 1.19 1.75 0.00 0.18 0.00 0.00 -0.01

time (sec)

N/A 0.033 30.464 0.109 0.000 0.408 0.000 0.000 0.000

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 18 22 17 0 18 9

N.S.

1 1.00 1.00 0.78 0.96 0.74 0.00 0.78 0.39

time (sec)

N/A 0.012 10.049 0.101 0.501 1.229 0.000 1.243 0.150

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 375 275 0 9 0 0 -1

N.S.

1 1.00 1.48 1.09 0.00 0.04 0.00 0.00 -0.00

time (sec)

N/A 0.047 20.660 0.105 0.000 0.367 0.000 0.000 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 148 137 0 6 0 0 -1

N.S.

1 1.00 1.35 1.25 0.00 0.05 0.00 0.00 -0.01

time (sec)

N/A 0.015 20.112 0.104 0.000 0.486 0.000 0.000 0.000

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 29 33 0 43 0 0 -1

N.S.

1 1.00 0.69 0.79 0.00 1.02 0.00 0.00 -0.02

time (sec)

N/A 0.018 5.309 0.097 0.000 1.761 0.000 0.000 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

282 282 400 363 0 31 0 0 -1

N.S.

1 1.00 1.42 1.29 0.00 0.11 0.00 0.00 -0.00

time (sec)

N/A 0.066 10.378 0.113 0.000 0.315 0.000 0.000 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 144 171 259 0 30 0 0 -1

N.S.

1 0.99 1.17 1.77 0.00 0.21 0.00 0.00 -0.01

time (sec)

N/A 0.031 20.424 0.109 0.000 0.497 0.000 0.000 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 161 245 0 38 0 0 -1

N.S.

1 1.00 1.18 1.79 0.00 0.28 0.00 0.00 -0.01

time (sec)

N/A 0.033 30.408 0.111 0.000 0.299 0.000 0.000 0.000

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 25 17 24 0 0 17

N.S.

1 1.00 1.00 1.09 0.74 1.04 0.00 0.00 0.74

time (sec)

N/A 0.014 10.029 0.101 0.481 2.126 0.000 0.000 2.692

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

282 282 402 356 0 42 0 0 -1

N.S.

1 1.00 1.43 1.26 0.00 0.15 0.00 0.00 -0.00

time (sec)

N/A 0.060 10.424 0.115 0.000 0.311 0.000 0.000 0.000

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

137 137 216 247 0 37 0 0 -1

N.S.

1 1.00 1.58 1.80 0.00 0.27 0.00 0.00 -0.01

time (sec)

N/A 0.023 20.244 0.102 0.000 0.420 0.000 0.000 0.000

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 81 43 0 78 0 0 -1

N.S.

1 1.00 1.23 0.65 0.00 1.18 0.00 0.00 -0.02

time (sec)

N/A 0.024 11.213 0.126 0.000 1.457 0.000 0.000 0.000

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

316 316 409 363 0 47 0 0 -1

N.S.

1 1.00 1.29 1.15 0.00 0.15 0.00 0.00 -0.00

time (sec)

N/A 0.083 10.431 0.097 0.000 0.329 0.000 0.000 0.000

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 170 259 0 48 0 0 -1

N.S.

1 1.00 1.00 1.52 0.00 0.28 0.00 0.00 -0.01

time (sec)

N/A 0.043 10.252 0.107 0.000 0.224 0.000 0.000 0.000

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 178 467 0 56 0 0 -1

N.S.

1 1.00 1.06 2.78 0.00 0.33 0.00 0.00 -0.01

time (sec)

N/A 0.041 30.315 0.104 0.000 0.228 0.000 0.000 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 25 24 29 0 0 82

N.S.

1 1.00 1.00 1.09 1.04 1.26 0.00 0.00 3.57

time (sec)

N/A 0.014 10.028 0.115 0.483 1.015 0.000 0.000 2.875

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

318 318 409 688 0 61 0 0 -1

N.S.

1 1.00 1.29 2.16 0.00 0.19 0.00 0.00 -0.00

time (sec)

N/A 0.075 10.487 0.112 0.000 0.189 0.000 0.000 0.000

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

168 168 178 469 0 56 0 0 -1

N.S.

1 1.00 1.06 2.79 0.00 0.33 0.00 0.00 -0.01

time (sec)

N/A 0.031 20.326 0.123 0.000 0.400 0.000 0.000 0.000

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 95 69 0 101 0 0 -1

N.S.

1 1.00 0.99 0.72 0.00 1.05 0.00 0.00 -0.01

time (sec)

N/A 0.028 10.090 0.113 0.000 1.407 0.000 0.000 0.000

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

349 349 414 695 0 62 0 0 -1

N.S.

1 1.00 1.19 1.99 0.00 0.18 0.00 0.00 -0.00

time (sec)

N/A 0.093 10.504 0.118 0.000 0.302 0.000 0.000 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 183 481 0 63 0 0 -1

N.S.

1 1.00 0.90 2.37 0.00 0.31 0.00 0.00 -0.00

time (sec)

N/A 0.053 10.426 0.128 0.000 0.152 0.000 0.000 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 78 68 75 134 88 71 84

N.S.

1 1.00 0.80 0.70 0.77 1.38 0.91 0.73 0.87

time (sec)

N/A 0.050 0.035 0.195 0.497 1.142 0.095 1.532 0.129

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

490 490 627 708 0 5512 0 1171 2500

N.S.

1 1.00 1.28 1.44 0.00 11.25 0.00 2.39 5.10

time (sec)

N/A 12.345 1.887 0.247 0.000 2.601 0.000 1.700 4.857

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

326 397 465 559 0 4258 0 1045 2500

N.S.

1 1.22 1.43 1.71 0.00 13.06 0.00 3.21 7.67

time (sec)

N/A 4.959 1.469 0.148 0.000 1.581 0.000 4.053 4.366

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

316 316 375 430 0 2992 0 868 2500

N.S.

1 1.00 1.19 1.36 0.00 9.47 0.00 2.75 7.91

time (sec)

N/A 2.193 1.104 0.156 0.000 2.703 0.000 2.214 3.911

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

287 287 341 331 0 1742 0 753 2500

N.S.

1 1.00 1.19 1.15 0.00 6.07 0.00 2.62 8.71

time (sec)

N/A 2.197 0.964 0.148 0.000 2.376 0.000 1.332 3.820

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 252 251 0 683 0 223 709

N.S.

1 1.00 1.27 1.27 0.00 3.45 0.00 1.13 3.58

time (sec)

N/A 0.175 0.100 0.140 0.000 2.347 0.000 1.836 2.992

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

275 275 266 291 0 2489 0 712 2500

N.S.

1 1.00 0.97 1.06 0.00 9.05 0.00 2.59 9.09

time (sec)

N/A 0.743 0.843 0.122 0.000 2.727 0.000 1.982 7.410

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

368 356 337 373 0 4909 0 0 2500

N.S.

1 0.97 0.92 1.01 0.00 13.34 0.00 0.00 6.79

time (sec)

N/A 2.435 1.332 0.141 0.000 14.123 0.000 0.000 6.814

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

531 531 433 507 0 7479 0 1041 2500

N.S.

1 1.00 0.82 0.95 0.00 14.08 0.00 1.96 4.71

time (sec)

N/A 2.427 1.881 0.148 0.000 168.195 0.000 1.380 8.089

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

650 650 901 1094 0 14252 0 1577 2500

N.S.

1 1.00 1.39 1.68 0.00 21.93 0.00 2.43 3.85

time (sec)

N/A 1.856 3.032 0.173 0.000 25.086 0.000 1.515 7.969

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

581 581 755 893 0 11377 0 1362 2500

N.S.

1 1.00 1.30 1.54 0.00 19.58 0.00 2.34 4.30

time (sec)

N/A 13.804 2.460 0.160 0.000 21.025 0.000 1.092 7.139

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

441 441 537 674 0 8462 0 1160 2500

N.S.

1 1.00 1.22 1.53 0.00 19.19 0.00 2.63 5.67

time (sec)

N/A 1.518 1.839 0.141 0.000 7.602 0.000 1.086 5.724

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

453 453 493 521 0 5507 0 978 2500

N.S.

1 1.00 1.09 1.15 0.00 12.16 0.00 2.16 5.52

time (sec)

N/A 2.936 1.729 0.170 0.000 3.896 0.000 2.150 4.723

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

322 322 364 353 0 2688 0 783 2500

N.S.

1 1.00 1.13 1.10 0.00 8.35 0.00 2.43 7.76

time (sec)

N/A 0.800 0.267 0.143 0.000 2.475 0.000 0.897 4.435

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

340 340 371 370 0 5074 0 822 2500

N.S.

1 1.00 1.09 1.09 0.00 14.92 0.00 2.42 7.35

time (sec)

N/A 0.991 1.308 0.139 0.000 13.127 0.000 0.988 8.163

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

403 402 416 409 0 8526 0 425 2500

N.S.

1 1.00 1.03 1.01 0.00 21.16 0.00 1.05 6.20

time (sec)

N/A 2.031 1.599 0.158 0.000 54.106 0.000 0.782 7.365

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-1) F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

607 607 560 601 0 0 0 1121 2500

N.S.

1 1.00 0.92 0.99 0.00 0.00 0.00 1.85 4.12

time (sec)

N/A 3.195 2.646 0.168 0.000 0.000 0.000 1.150 8.194

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

201 201 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.343 0.133 0.054 0.000 0.000 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

290 290 353 0 0 0 0 0 -1

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.525 0.596 0.068 0.000 0.000 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 346 0 0 0 0 0 -1

N.S.

1 1.00 1.46 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.267 0.777 0.064 0.000 0.000 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

198 198 183 0 0 0 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.142 0.367 0.061 0.000 0.000 0.000 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 245 0 0 0 0 0 -1

N.S.

1 1.00 1.28 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.183 0.236 0.062 0.000 0.000 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 331 0 0 0 0 0 -1

N.S.

1 1.00 1.37 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.278 1.172 0.053 0.000 0.000 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

296 296 431 0 0 0 0 0 -1

N.S.

1 1.00 1.46 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.313 1.388 0.065 0.000 0.000 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 134 179 167 168 150 177 351

N.S.

1 1.00 0.95 1.27 1.18 1.19 1.06 1.26 2.49

time (sec)

N/A 0.122 0.055 0.078 0.289 3.784 0.271 1.073 0.111

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 103 149 133 131 109 139 197

N.S.

1 1.00 0.94 1.37 1.22 1.20 1.00 1.28 1.81

time (sec)

N/A 0.091 0.035 0.084 0.282 2.310 0.215 1.121 2.586

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 73 95 95 94 70 100 127

N.S.

1 1.00 1.12 1.46 1.46 1.45 1.08 1.54 1.95

time (sec)

N/A 0.038 0.025 0.074 0.297 2.561 0.172 0.805 0.071

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 43 59 64 62 46 64 65

N.S.

1 1.00 0.86 1.18 1.28 1.24 0.92 1.28 1.30

time (sec)

N/A 0.021 0.014 0.078 0.280 2.060 0.113 1.347 2.605

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 55 84 81 87 112 81 81

N.S.

1 1.00 0.89 1.35 1.31 1.40 1.81 1.31 1.31

time (sec)

N/A 0.053 0.017 0.087 0.284 1.803 0.294 0.918 0.154

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 82 112 112 164 182 116 109

N.S.

1 1.00 0.95 1.30 1.30 1.91 2.12 1.35 1.27

time (sec)

N/A 0.057 0.035 0.082 0.281 1.725 0.507 1.007 2.696

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 87 148 145 261 185 151 100

N.S.

1 1.00 1.00 1.70 1.67 3.00 2.13 1.74 1.15

time (sec)

N/A 0.061 0.054 0.088 0.288 2.928 0.492 1.284 0.129

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 122 184 197 397 248 181 152

N.S.

1 1.00 1.08 1.63 1.74 3.51 2.19 1.60 1.35

time (sec)

N/A 0.076 0.043 0.089 0.292 2.292 0.635 1.392 2.650

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 142 220 228 505 282 206 180

N.S.

1 1.00 1.02 1.58 1.64 3.63 2.03 1.48 1.29

time (sec)

N/A 0.093 0.063 0.095 0.302 3.303 0.740 1.251 0.145

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 226 259 245 317 250 257 1029

N.S.

1 1.00 1.04 1.19 1.12 1.45 1.15 1.18 4.72

time (sec)

N/A 0.183 0.086 0.082 0.279 2.587 0.541 1.276 2.641

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

177 177 185 217 208 280 199 218 565

N.S.

1 1.00 1.05 1.23 1.18 1.58 1.12 1.23 3.19

time (sec)

N/A 0.154 0.081 0.074 0.294 2.210 0.474 1.220 2.615

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 154 177 175 243 162 181 316

N.S.

1 1.00 1.05 1.21 1.20 1.66 1.11 1.24 2.16

time (sec)

N/A 0.117 0.062 0.093 0.285 3.629 0.406 1.924 0.094

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 115 133 137 201 119 141 185

N.S.

1 1.00 1.07 1.24 1.28 1.88 1.11 1.32 1.73

time (sec)

N/A 0.092 0.059 0.073 0.283 2.765 0.333 1.375 0.070

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 83 93 103 155 94 104 116

N.S.

1 1.00 1.06 1.19 1.32 1.99 1.21 1.33 1.49

time (sec)

N/A 0.065 0.042 0.089 0.280 1.769 0.277 1.997 2.535

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 46 63 67 96 61 68 72

N.S.

1 1.00 0.92 1.26 1.34 1.92 1.22 1.36 1.44

time (sec)

N/A 0.039 0.030 0.072 0.290 1.918 0.183 1.592 2.561

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 91 112 113 167 182 118 111

N.S.

1 1.00 1.06 1.30 1.31 1.94 2.12 1.37 1.29

time (sec)

N/A 0.054 0.033 0.103 0.300 2.996 0.509 2.111 2.644

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 85 136 106 126 156 101 115

N.S.

1 1.00 1.15 1.84 1.43 1.70 2.11 1.36 1.55

time (sec)

N/A 0.019 0.028 0.076 0.289 1.579 0.349 2.047 2.606

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 139 180 200 399 279 194 198

N.S.

1 1.00 1.15 1.49 1.65 3.30 2.31 1.60 1.64

time (sec)

N/A 0.088 0.077 0.089 0.291 2.069 0.634 1.991 0.146

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 171 189 189 331 241 227 148

N.S.

1 1.00 1.17 1.29 1.29 2.27 1.65 1.55 1.01

time (sec)

N/A 0.104 0.067 0.097 0.299 4.617 0.679 1.643 2.632

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 195 241 281 638 376 254 274

N.S.

1 1.00 1.10 1.35 1.58 3.58 2.11 1.43 1.54

time (sec)

N/A 0.132 0.100 0.102 0.307 3.531 0.912 2.219 2.700

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 229 278 323 685 427 296 314

N.S.

1 1.00 1.09 1.32 1.54 3.26 2.03 1.41 1.50

time (sec)

N/A 0.155 0.124 0.106 0.314 4.151 1.056 2.001 2.718

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 193 216 218 322 219 215 375

N.S.

1 1.00 1.08 1.21 1.22 1.80 1.22 1.20 2.09

time (sec)

N/A 0.164 0.064 0.089 0.287 4.083 0.747 1.797 0.141

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 157 174 182 282 178 177 240

N.S.

1 1.00 1.05 1.17 1.22 1.89 1.19 1.19 1.61

time (sec)

N/A 0.125 0.057 0.089 0.288 9.630 0.644 2.227 0.105

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

118 118 118 133 146 231 151 138 161

N.S.

1 1.00 1.00 1.13 1.24 1.96 1.28 1.17 1.36

time (sec)

N/A 0.095 0.063 0.070 0.291 3.505 0.566 2.022 2.597

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

81 81 93 101 102 156 102 94 107

N.S.

1 1.00 1.15 1.25 1.26 1.93 1.26 1.16 1.32

time (sec)

N/A 0.066 0.028 0.082 0.292 3.089 0.443 2.972 2.598

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 49 74 79 99 83 74 80

N.S.

1 1.00 0.80 1.21 1.30 1.62 1.36 1.21 1.31

time (sec)

N/A 0.039 0.019 0.079 0.283 3.225 0.255 1.461 0.069

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 90 152 146 261 185 142 103

N.S.

1 1.00 1.02 1.73 1.66 2.97 2.10 1.61 1.17

time (sec)

N/A 0.065 0.056 0.085 0.284 3.317 0.508 1.739 0.134

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 140 183 201 399 277 195 198

N.S.

1 1.00 1.15 1.50 1.65 3.27 2.27 1.60 1.62

time (sec)

N/A 0.077 0.071 0.092 0.294 2.940 0.644 1.610 2.638

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 110 216 140 188 144 127 114

N.S.

1 1.00 0.87 1.70 1.10 1.48 1.13 1.00 0.90

time (sec)

N/A 0.038 0.031 0.079 0.292 2.488 0.480 2.882 0.103

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 197 245 286 639 321 262 249

N.S.

1 1.00 1.05 1.30 1.52 3.40 1.71 1.39 1.32

time (sec)

N/A 0.138 0.108 0.117 0.301 2.862 0.899 2.033 2.679

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

235 235 244 297 332 758 372 332 296

N.S.

1 1.00 1.04 1.26 1.41 3.23 1.58 1.41 1.26

time (sec)

N/A 0.175 0.120 0.125 0.324 2.037 1.006 1.782 2.639

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

269 269 311 1029 1489 781 0 934 -1

N.S.

1 1.00 1.16 3.83 5.54 2.90 0.00 3.47 -0.00

time (sec)

N/A 0.598 1.455 0.142 0.520 3.079 0.000 1.333 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 240 842 1107 603 0 729 -1

N.S.

1 1.00 1.12 3.92 5.15 2.80 0.00 3.39 -0.00

time (sec)

N/A 0.410 1.288 0.106 0.555 2.651 0.000 2.172 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 165 688 834 442 0 537 -1

N.S.

1 1.00 0.90 3.76 4.56 2.42 0.00 2.93 -0.01

time (sec)

N/A 0.251 0.859 0.099 0.512 2.761 0.000 3.449 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 105 532 544 266 0 356 125

N.S.

1 1.00 0.72 3.67 3.75 1.83 0.00 2.46 0.86

time (sec)

N/A 0.137 0.612 0.091 0.325 1.837 0.000 1.993 2.871

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 77 409 346 174 0 264 79

N.S.

1 1.00 0.66 3.50 2.96 1.49 0.00 2.26 0.68

time (sec)

N/A 0.037 0.480 0.072 0.292 2.615 0.000 1.440 2.791

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 53 246 96 102 0 158 49

N.S.

1 1.00 0.51 2.39 0.93 0.99 0.00 1.53 0.48

time (sec)

N/A 0.032 0.008 0.083 0.285 2.237 0.000 1.865 2.701

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 225 1667 0 1742 0 607 -1

N.S.

1 1.00 0.93 6.89 0.00 7.20 0.00 2.51 -0.00

time (sec)

N/A 0.398 10.294 0.103 0.000 3.750 0.000 1.999 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

311 311 341 3289 0 3252 0 0 -1

N.S.

1 1.00 1.10 10.58 0.00 10.46 0.00 0.00 -0.00

time (sec)

N/A 1.013 10.440 0.099 0.000 5.305 0.000 0.000 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-2) B F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

398 398 387 6396 0 5268 0 1314 -1

N.S.

1 1.00 0.97 16.07 0.00 13.24 0.00 3.30 -0.00

time (sec)

N/A 2.839 10.959 0.090 0.000 27.972 0.000 1.409 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 118 114 0 493 107 116 124

N.S.

1 1.00 1.05 1.02 0.00 4.40 0.96 1.04 1.11

time (sec)

N/A 0.147 0.254 0.096 0.000 3.340 16.962 0.988 0.234

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

240 240 282 243 314 323 1040 378 222

N.S.

1 1.00 1.18 1.01 1.31 1.35 4.33 1.58 0.92

time (sec)

N/A 0.226 0.192 0.083 0.302 2.632 50.126 1.595 0.119

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 177 174 195 196 673 243 159

N.S.

1 1.00 1.01 0.99 1.11 1.12 3.85 1.39 0.91

time (sec)

N/A 0.156 0.117 0.073 0.317 3.296 31.540 1.008 2.580

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 94 105 110 99 374 134 100

N.S.

1 1.00 0.83 0.93 0.97 0.88 3.31 1.19 0.88

time (sec)

N/A 0.048 0.066 0.057 0.287 2.847 16.628 1.651 0.073

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 44 52 53 40 150 53 44

N.S.

1 1.00 0.72 0.85 0.87 0.66 2.46 0.87 0.72

time (sec)

N/A 0.017 0.031 0.070 0.282 3.278 3.341 1.244 2.558

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 92 96 0 292 100 107 107

N.S.

1 1.00 0.88 0.92 0.00 2.81 0.96 1.03 1.03

time (sec)

N/A 0.086 0.206 0.075 0.000 3.100 10.030 1.210 0.107

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 126 133 139 0 525 0 148 128

N.S.

1 1.03 1.09 1.14 0.00 4.30 0.00 1.21 1.05

time (sec)

N/A 0.132 0.425 0.089 0.000 2.487 0.000 1.071 2.682

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 182 166 220 0 870 0 278 224

N.S.

1 1.02 0.93 1.24 0.00 4.89 0.00 1.56 1.26

time (sec)

N/A 0.189 0.717 0.105 0.000 3.343 0.000 1.361 2.909

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 278 438 322 330 328 453 292

N.S.

1 1.00 1.17 1.84 1.35 1.39 1.38 1.90 1.23

time (sec)

N/A 0.166 0.211 0.097 0.304 3.152 25.729 1.022 0.091

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 177 256 203 204 204 275 199

N.S.

1 1.00 1.02 1.48 1.17 1.18 1.18 1.59 1.15

time (sec)

N/A 0.128 0.151 0.087 0.313 3.970 15.171 1.705 2.658

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 92 120 118 109 112 143 111

N.S.

1 1.00 0.83 1.08 1.06 0.98 1.01 1.29 1.00

time (sec)

N/A 0.041 0.070 0.101 0.283 3.173 8.333 1.469 0.075

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

59 59 43 48 54 49 58 56 44

N.S.

1 1.00 0.73 0.81 0.92 0.83 0.98 0.95 0.75

time (sec)

N/A 0.017 0.033 0.064 0.280 2.840 3.542 1.390 0.054

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 114 112 0 475 104 101 141

N.S.

1 1.00 1.02 1.00 0.00 4.24 0.93 0.90 1.26

time (sec)

N/A 0.120 0.328 0.079 0.000 3.332 13.715 1.091 0.136

[next] [prev] [prev-tail] [front] [up]